Merge pull request #1417 from paulkocialkowski/integration
authorDimitris Papastamos <[email protected]>
Thu, 14 Jun 2018 13:34:46 +0000 (14:34 +0100)
committerGitHub <[email protected]>
Thu, 14 Jun 2018 13:34:46 +0000 (14:34 +0100)
rockchip: Move stdint header to the offending header file


Trivial merge